Optimal. Leaf size=121 \[ \frac{x \left (b^2 e^2-5 b c d e+7 c^2 d^2\right )}{c^3}+\frac{e x^3 (4 c d-b e)}{3 c^2}-\frac{(2 c d-b e)^3 \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{e} x}{\sqrt{c d-b e}}\right )}{c^{7/2} \sqrt{e} \sqrt{c d-b e}}+\frac{e^2 x^5}{5 c} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.159732, antiderivative size = 121, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 39, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.077, Rules used = {1149, 390, 208} \[ \frac{x \left (b^2 e^2-5 b c d e+7 c^2 d^2\right )}{c^3}+\frac{e x^3 (4 c d-b e)}{3 c^2}-\frac{(2 c d-b e)^3 \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{e} x}{\sqrt{c d-b e}}\right )}{c^{7/2} \sqrt{e} \sqrt{c d-b e}}+\frac{e^2 x^5}{5 c} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1149
Rule 390
Rule 208
Rubi steps
\begin{align*} \int \frac{\left (d+e x^2\right )^4}{-c d^2+b d e+b e^2 x^2+c e^2 x^4} \, dx &=\int \frac{\left (d+e x^2\right )^3}{\frac{-c d^2+b d e}{d}+c e x^2} \, dx\\ &=\int \left (\frac{7 c^2 d^2-5 b c d e+b^2 e^2}{c^3}+\frac{e (4 c d-b e) x^2}{c^2}+\frac{e^2 x^4}{c}+\frac{8 c^3 d^3-12 b c^2 d^2 e+6 b^2 c d e^2-b^3 e^3}{c^3 \left (-c d+b e+c e x^2\right )}\right ) \, dx\\ &=\frac{\left (7 c^2 d^2-5 b c d e+b^2 e^2\right ) x}{c^3}+\frac{e (4 c d-b e) x^3}{3 c^2}+\frac{e^2 x^5}{5 c}+\frac{(2 c d-b e)^3 \int \frac{1}{-c d+b e+c e x^2} \, dx}{c^3}\\ &=\frac{\left (7 c^2 d^2-5 b c d e+b^2 e^2\right ) x}{c^3}+\frac{e (4 c d-b e) x^3}{3 c^2}+\frac{e^2 x^5}{5 c}-\frac{(2 c d-b e)^3 \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{e} x}{\sqrt{c d-b e}}\right )}{c^{7/2} \sqrt{e} \sqrt{c d-b e}}\\ \end{align*}
Mathematica [A] time = 0.0766953, size = 121, normalized size = 1. \[ -\frac{x \left (-b^2 e^2+5 b c d e-7 c^2 d^2\right )}{c^3}-\frac{e x^3 (b e-4 c d)}{3 c^2}-\frac{(b e-2 c d)^3 \tan ^{-1}\left (\frac{\sqrt{c} \sqrt{e} x}{\sqrt{b e-c d}}\right )}{c^{7/2} \sqrt{e} \sqrt{b e-c d}}+\frac{e^2 x^5}{5 c} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.01, size = 226, normalized size = 1.9 \begin{align*}{\frac{{e}^{2}{x}^{5}}{5\,c}}-{\frac{b{x}^{3}{e}^{2}}{3\,{c}^{2}}}+{\frac{4\,de{x}^{3}}{3\,c}}+{\frac{{b}^{2}{e}^{2}x}{{c}^{3}}}-5\,{\frac{bdex}{{c}^{2}}}+7\,{\frac{{d}^{2}x}{c}}-{\frac{{b}^{3}{e}^{3}}{{c}^{3}}\arctan \left ({cex{\frac{1}{\sqrt{ \left ( be-cd \right ) ce}}}} \right ){\frac{1}{\sqrt{ \left ( be-cd \right ) ce}}}}+6\,{\frac{{b}^{2}d{e}^{2}}{{c}^{2}\sqrt{ \left ( be-cd \right ) ce}}\arctan \left ({\frac{cex}{\sqrt{ \left ( be-cd \right ) ce}}} \right ) }-12\,{\frac{b{d}^{2}e}{c\sqrt{ \left ( be-cd \right ) ce}}\arctan \left ({\frac{cex}{\sqrt{ \left ( be-cd \right ) ce}}} \right ) }+8\,{\frac{{d}^{3}}{\sqrt{ \left ( be-cd \right ) ce}}\arctan \left ({\frac{cex}{\sqrt{ \left ( be-cd \right ) ce}}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.94085, size = 903, normalized size = 7.46 \begin{align*} \left [\frac{6 \,{\left (c^{4} d e^{3} - b c^{3} e^{4}\right )} x^{5} + 10 \,{\left (4 \, c^{4} d^{2} e^{2} - 5 \, b c^{3} d e^{3} + b^{2} c^{2} e^{4}\right )} x^{3} - 15 \,{\left (8 \, c^{3} d^{3} - 12 \, b c^{2} d^{2} e + 6 \, b^{2} c d e^{2} - b^{3} e^{3}\right )} \sqrt{c^{2} d e - b c e^{2}} \log \left (\frac{c e x^{2} + c d - b e + 2 \, \sqrt{c^{2} d e - b c e^{2}} x}{c e x^{2} - c d + b e}\right ) + 30 \,{\left (7 \, c^{4} d^{3} e - 12 \, b c^{3} d^{2} e^{2} + 6 \, b^{2} c^{2} d e^{3} - b^{3} c e^{4}\right )} x}{30 \,{\left (c^{5} d e - b c^{4} e^{2}\right )}}, \frac{3 \,{\left (c^{4} d e^{3} - b c^{3} e^{4}\right )} x^{5} + 5 \,{\left (4 \, c^{4} d^{2} e^{2} - 5 \, b c^{3} d e^{3} + b^{2} c^{2} e^{4}\right )} x^{3} - 15 \,{\left (8 \, c^{3} d^{3} - 12 \, b c^{2} d^{2} e + 6 \, b^{2} c d e^{2} - b^{3} e^{3}\right )} \sqrt{-c^{2} d e + b c e^{2}} \arctan \left (-\frac{\sqrt{-c^{2} d e + b c e^{2}} x}{c d - b e}\right ) + 15 \,{\left (7 \, c^{4} d^{3} e - 12 \, b c^{3} d^{2} e^{2} + 6 \, b^{2} c^{2} d e^{3} - b^{3} c e^{4}\right )} x}{15 \,{\left (c^{5} d e - b c^{4} e^{2}\right )}}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 0.954936, size = 343, normalized size = 2.83 \begin{align*} \frac{\sqrt{- \frac{1}{c^{7} e \left (b e - c d\right )}} \left (b e - 2 c d\right )^{3} \log{\left (x + \frac{- b c^{3} e \sqrt{- \frac{1}{c^{7} e \left (b e - c d\right )}} \left (b e - 2 c d\right )^{3} + c^{4} d \sqrt{- \frac{1}{c^{7} e \left (b e - c d\right )}} \left (b e - 2 c d\right )^{3}}{b^{3} e^{3} - 6 b^{2} c d e^{2} + 12 b c^{2} d^{2} e - 8 c^{3} d^{3}} \right )}}{2} - \frac{\sqrt{- \frac{1}{c^{7} e \left (b e - c d\right )}} \left (b e - 2 c d\right )^{3} \log{\left (x + \frac{b c^{3} e \sqrt{- \frac{1}{c^{7} e \left (b e - c d\right )}} \left (b e - 2 c d\right )^{3} - c^{4} d \sqrt{- \frac{1}{c^{7} e \left (b e - c d\right )}} \left (b e - 2 c d\right )^{3}}{b^{3} e^{3} - 6 b^{2} c d e^{2} + 12 b c^{2} d^{2} e - 8 c^{3} d^{3}} \right )}}{2} + \frac{e^{2} x^{5}}{5 c} - \frac{x^{3} \left (b e^{2} - 4 c d e\right )}{3 c^{2}} + \frac{x \left (b^{2} e^{2} - 5 b c d e + 7 c^{2} d^{2}\right )}{c^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]